02 BOAC5 Nano publications Sofronijevic Pavlovic [Compatibility Mode]

Source URL: boac.ceon.rs

• Mathematical logic
• Knowledge representation
• Technical communication
• Predicate logic
• Records management
• Tata Nano
• Predicate
• Finitary relation
• Nano

École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par

Source URL: cedeela.fr

• Mathematical logic
• Mathematics
• Logic
• Boolean algebra
• First-order logic
• Propositional calculus
• FO
• Quantifier
• Boolean satisfiability problem
• True quantified Boolean formula
• Model theory
• Peano axioms

Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Theory of computation
• Computable number
• Computable analysis
• Mathematical analysis
• Mathematical logic
• Function
• Computable function
• Hypercomputation

ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic

Source URL: ludovicpatey.com

• Computability theory
• Logic
• Proof theory
• Mathematics
• Mathematical logic
• Reverse mathematics
• Model theory
• Philosophy of mathematics
• Symbol
• Fixed-point theorems
• Primitive recursive functional
• Generalised Whitehead product

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Reflecting topological properties Authors: L´ ucia R. Junqueira (Universidade de

Source URL: www.sbm.org.br

CURRICULUM VITAE DAMIR D. DZHAFAROV Contact Department of Mathematics University of Connecticut

Source URL: www.math.uconn.edu

• Computability theory
• Mathematical logic
• High
• Computability

Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Abstraction
• Model theory
• Mathematical logic
• Proof theory
• Constructivism
• Jacques Herbrand
• Proof mining
• Term algebra
• First-order logic
• Fixed-point theorem

Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Elimination of Skolem functions for monotone formulas in analysis Ulrich Kohlenbach

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• Constructible universe

Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar

Source URL: jg.sdf.org

• Mathematics
• Mathematical logic
• Logic
• Logic in computer science
• Constructible universe
• Peano axioms
• Factorization
• Algebraic logic
• Dialectica interpretation
• Combinatory logic

Manuscript Click here to view linked References 1 2 3

Source URL: www.waelde.com

• Mathematical finance
• Logic
• Technical analysis
• Volatility
• Substitution
• Real business-cycle theory
• Economics